- метод форсинга
- Mathematics: method of forcing
Универсальный русско-английский словарь. Академик.ру. 2011.
метод форсинга
Смотреть что такое "метод форсинга" в других словарях:
ВЫНУЖДЕНИЯ МЕТОД — форсинг метод, особый способ доказательства существования моделей аксиоматич. теорий, предложенный П. Козном в 1963 для доказательства совместимости отрицания континуум гипотезы щСН и других теоретико множественных предложений с аксиомами системы … Математическая энциклопедия
МНОЖЕСТВ ТЕОРИЯ — математик, теория, изучающая точными средствами проблему бесконечности. Предмет М. т. свойства множеств (совокупностей, классов, ансамблей), гл. обр. бесконечных. Осн. содержание классич. М. т. было разработано нем. математиком Г.… … Философская энциклопедия
АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… … Математическая энциклопедия
БУЛЕВОЗНАЧНАЯ МОДЕЛЬ — модель, определяемая следующим образом. Пусть сигнатура нек poro языка 1 й ступени с одним сортом переменных, т. е. множество символов функций и предикатов. Б. м. наз. тройка где невырожденная булева алгебра, непустое множество и функция,… … Математическая энциклопедия
ВЫБОРА АКСИОМА — одна из аксиом теории множеств, гласящая: для всякого семейства Fнепустых множеств существует функция f такая, что для всякого множества Sиз Fимеет место (при этом f наз. функцией выбора на F). Для конечных семейств FВ. а. выводима из остальных… … Математическая энциклопедия
КОНСТРУКТИВНОЕ ПО ГЁДЕЛЮ МНОЖЕСТВО — множество, возникающее в описанном ниже процессе построения множеств. Пусть X множество и X. Рассмотрим язык 1 й ступени L(R, X), содержащий один 2 местный предикатный символ, обозначающий отношение R, и индивидные константы, обозначающие… … Математическая энциклопедия
ПОРЯДКОВЫЙ ТИП — линейно упорядоченного множества А свойство множества А, к рое присуще любому линейно упорядоченному множеству В, подобному А. При этом два множества Аи В, линейно упорядоченные соотношениями R и S, наз. подобными, если существует функция f,… … Математическая энциклопедия
множеств теория — МНОЖЕСТВ ТЕОРИЯ учение о множествах, зародившееся в середине 19 в. и изучающее свойства множеств произвольной природы. Создание М. т. было подготовлено работами математиков, ставивших целью разработку оснований анализа. Первые работы в… … Энциклопедия эпистемологии и философии науки
